val _ = #123_45 { 12_345 = 67 };
